home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / test_check.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  295 b   |  20 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_CHECK
  5.  
  6. creation {ANY}
  7.    make
  8.    
  9. feature {ANY}
  10.  
  11.    make is
  12.       do
  13.      check
  14.         Current /= Void;
  15.         2 = 1 + 1;
  16.      end;
  17.       end;
  18.  
  19. end -- class TEST_CHECK
  20.